Podstawowym pojciem teorii mnogoci jest pojcie naleenia elementu do zbioru. Tak wic na przykad liczba dwa naley do zbioru liczb naturalnych, liczba [~] do zbioru liczb rzeczywistych i tym podobnie. Zamiast mwi, e obiekt [~] naley do zbioru [~], mwimy rwnie, e [~] jest elementem zbioru [~]. 